(0 12 7)(1 13 5)(2 9 3 11 8)(4 10 6)
ALLOWS (11/8)-SEQUENCE
1: (0 1 7)
(0)(1 12 7 13 5)(2 9 3 11 8)(4 10 6)
2: (5 7 13)
(0)(1 12 7)(2 9 3 11 8)(4 10 6)(5)(13)
3: (4 10 6)
(0)(1 12 7)(2 9 3 11 8)(4)(5)(6)(10)(13)
4: (2 11 8)
(0)(1 12 7)(2)(3 11 9)(4)(5)(6)(8)(10)(13)